Câu ví dụ
- A is principal ideal domain and therefore A is unique factorization domain.
A là miền lý tưởng chính và do đó A là miền xác định duy nhất. - So every ideal of $\mathbb$ is a principal ideal, so $\mathbb$ is a principal ideal domain.
Do đó $a|b$ hay $I=(a)$ là một ideal chính, do đó $\mathbb$ là một miền chính.